<?php

function pre_dump($value) {
    echo '<pre>';
    ob_start();
    var_dump($value);
    echo ob_get_contents();
    echo '</pre>';
    ob_end_clean();
  }

?>